State event logic

In this article we give a detailed presentation of state event logic which is a modal logic for reasoning about concurrent events and causality between events 8]. State event logic diiers from previous approaches in the following directions: First, events enjoy the same attention as states. In the same way as states can be viewed as models of the formulae describing the facts that hold in them we think of events as models of the formulae describing the subevents. Second, instead of postulating just one set of states as primitive objects we use two sets, a set of states and a set of events. In terms of modal logic, the universe then becomes a set of pairs in which the rst component is a state and the second is an event following the state. The connection between two subsequent pairs is expressed by an accessibility relation. Propositional and rst-order state event logic are formulated and illustrated with examples. From these examples we can immediately infer that state event logic can also be applied for the representation of real world scenarios. Finally we added a thorough discussion on related approaches.